void mixfiles(FILE *f1, FILE *f2);
